Specification of the TOIF XML schema Deliverable Version 1.1 October. 1st , 2012

Source URL: www.kdmanalytics.com

• ISO standards
• Unified Modeling Language
• XML Metadata Interchange
• Knowledge Discovery Metamodel
• Metamodeling
• Object Process Methodology
• XML schema
• Class diagram
• UML tool

Enabling multi-stakeholder cooperative modelling in automotive software development and implications for model driven software development Frank Grimm

Source URL: ftp.informatik.rwth-aachen.de

• Software engineering
• Class diagram
• Object Process Methodology
• Engineering
• Computing
• Package diagram
• Data model
• Diagrams
• Mathematical diagram

SPECIFIC TARGETED RESEARCH PROJECT INFORMATION SOCIETY TECHNOLOGIES FP6-IST IST033606

Source URL: vide.tnmsoft.de

• Software engineering
• Systems engineering
• Computing
• Project management
• Business
• Unified Modeling Language
• Model-driven engineering
• Diagram
• Object Process Methodology
• Visual Paradigm for UML
• Scientific modelling
• Work breakdown structure

What’s YOUR Theory? Driver diagram serves as tool for building and testing theories for improvement by Brandon Bennett and Lloyd Provost

Source URL: www.apiweb.org

• Process management
• Education
• Professional studies
• Business
• Educational psychology
• Business process
• W. Edwards Deming
• Object Process Methodology
• Business process management
• Educational technology
• Scientific modelling

Blank Object Diagrams http://max.cs.kzoo.edu/AP/MBS/ObjectDiagrams/BlankObjectDiagr... This diagram created using Inspiration® by Inspiration Software, Inc.

Source URL: max.cs.kzoo.edu

Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Class diagram
• Diagram
• Activity diagram
• Object Process Methodology
• Entityrelationship model
• YEd

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Theoretical computer science
• Unified Modeling Language
• Computing
• Formal methods
• Object Constraint Language
• ECO
• Postcondition
• Object diagram
• Object Process Methodology
• Class diagram
• Invariant

bookConceptualModelling.dvi

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Software engineering
• Computing
• Data modeling
• ISO standards
• Architecture description language
• Diagrams
• Knowledge representation
• ECO
• Class diagram
• Object Constraint Language
• Object diagram

Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Object Process Methodology
• Object diagram
• Class diagram
• Postcondition
• Design by contract
• Sequence diagram
• Conceptual model